Concept SAIC/MAIC Alamouti. Interprétation géométrique et performances

Interprétation Et Reconnaissance D'images Et De Documents Theme Cog Rennes

Conception, modélisation géométrique et contraintes en CAO : une synthèse

RÉSUMÉ. Les logiciels de CAO ont pour perspective de devenir de véritables outils d’aide à la conception d’objets physiques. Mais la conception préliminaire reste un domaine de recherche largement ouvert. Cet article de synthèse s’efforce de montrer qu’une approche par contraintes du processus de conception est incontournable pour atteindre ce but. La conception est vue ici comme un processus c...

Extraction et interprétation d'information géographique dans des données non structurées

This paper outlines the “Pyrénées Itinéraires Virtuels” project. The aim of this project is to add value to a legacy localised corpus. Unified models are proposed to define spatial entities in a formal way. These models allow to build a specific information retrieval system based on the semantic contents of various kinds of documents. Moreover, a reflection on computable interpretation of these...

Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs

ions. Une abstraction pouvant être utilisée en dehors du contexte où elle est définie, on doit mémoriser la liaison des variables apparaissant dans son corps au moment de sa définition. C’est à cette fin qu’on utilise une fermeture, c’est-à-dire l’association d’une abstraction (ident * term) et de l’environnement dans lequel elle a été définie (env) via le constructeur ValAbs. Lecture/écriture ...

Interprétation abstraite

Abstract interpretation is a theory of discrete approximation of the semantics of computer systems mainly applied to the static analysis and verification of software. MOTS-CLÉS : Interprétation abstraite, sémantique, vérification, analyse statique.